An Algebra of Concurrent Non-Deterministic Processes

Cherkasova, L.A., and V.E. Kotov, An algebra of concurrent nondeterminstic processes, Theoretical Computer Science 90 (1991) 151-170. This paper illustrates how early ideas and simple naive concepts of concurrency theory of the 1960s have now turned into complex and subtle problems of modern calculi of concurrent processes. An algebra of finite processes AFP, is discussed as an example of research which incorporates various aspects of typical process calculi: axiomatization of the proposed algebra, adequate description of “true concurrency” semantics for processes, compositionality and full abstractness in the algebra, handling exceptional situations, etc.